Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
341	A sequence approach to linear perfect hash families∗ S. G. Barwick and Wen-Ai Jackson School of Pure Mathematics, University of Adelaide, Adelaide 5005, Australia May 12, 2006 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-05-12 17:59:13 Formal languages Algebra Dual space Linear algebra Interpretation Golden ratio base Linear temporal logic Mathematical analysis Mathematics Functional analysis
342	Joseph MuscatLogic Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2014-08-12 07:28:59 Propositional calculus Logical truth Formal languages Philosophy of language Substitution Symbol Function Proposition Linear temporal logic Logic Mathematics Mathematical logic
343	J MUSCAT 1 Introductory Mathematics Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2009-03-05 06:40:09 Mathematical logic Model theory Entailment Universal quantification Μ operator Linear temporal logic Logic Mathematics Constructible universe
344	MLL normalization and transitive closure: circuits, complexity, and Euler tours Harry Mairson Problem: Given a proofnet in multiplicative linear Add to Reading List Source URL: www.cs.brandeis.edu Language: English - Date: 2008-03-28 12:21:03 Logic Ordinal numbers Set theory Curry–Howard correspondence Dependently typed programming Type theory Ordinal arithmetic Mathematical logic Proof theory Mathematics
345	Linear temporal logi for regular ost fun tions Denis Kuperberg Liafa/CNRS/Université Paris 7, Denis Diderot, Fran e Regular ost fun tions have been introdu ed re ently as an extension to the notion of regular languag Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:50 Semigroup Model theory Linear temporal logic Temporal logic Algebraic structures
346	Linear Logic, Heap-shape Patterns and Imperative Programming Extended Abstract Limin Jia David Walker Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2015-04-22 06:08:46 Predicate logic Model theory Symbol Interpretation Function Monadic predicate calculus Logic programming Lambda calculus Natural deduction Mathematical logic Mathematics Logic
347	Linear temporal logic for regular cost functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51
348	I:/Ganesh/Research/AAAI2011/camera-ready/aaai-2011-camera-ready-vh-edited.dvi Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-06-14 00:22:51 Temporal logic Networks Theoretical computer science Model checking Search algorithms Kripke structure A* search algorithm Connectivity Linear temporal logic Graph theory Mathematics Network theory
349	Towards Generic Inductive Constructions in Systems of Nets Stéphane Gimenez Institute of Computer Science University of Innsbruck, Austria Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-08-26 10:13:14 Type theory Dependently typed programming Computability theory General topology Net Inductive data type Constructible universe Inductive reasoning Linear logic Logic Mathematical logic Mathematics
350	LINEAR TEMPORAL LOGIC FOR REGULAR COST FUNCTIONS DENIS KUPERBERG Liafa/CNRS/Université Paris 7, Denis Diderot, France Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-05-08 11:47:02 Linear temporal logic Temporal logic Mathematical logic Semigroup Theoretical computer science Semigroup theory Büchi automaton Inverse semigroup Ω-automaton Automata theory Mathematics Algebraic structures

UPDATE